Monniaux, David P.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A minimalistic look at widening operators

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 335 KB

english, 2009

2

Abstract interpretation of programs as Markov decision processes

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 798 KB

english, 2005

3

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

Gawlitza, Thomas, Monniaux, David, Barthe, Gilles

Journal:

Logical Methods in Computer Science

Year:

2012

Language:

english

File:

PDF, 554 KB

english, 2012

4

On the decidability of the existence of polyhedral invariants in transition systems

Monniaux, David

Journal:

Acta Informatica

Year:

2018

Language:

english

File:

PDF, 358 KB

english, 2018

5

Fast and exact analysis for LRU caches

Touzeau, Valentin, Maïza, Claire, Monniaux, David, Reineke, Jan

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 542 KB

english, 2019

6

Abstracting cryptographic protocols with tree automata

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 271 KB

english, 2003

7

PAGAI: A Path Sensitive Static Analyser

Henry, Julien, Monniaux, David, Moy, Matthieu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 236 KB

english, 2012

8

Stratified Static Analysis Based on Variable Dependencies

Monniaux, David, Le Guen, Julien

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 290 KB

english, 2012

9

Implementing and Reasoning About Hash-consed Data Structures in Coq

Braibant, Thomas, Jourdan, Jacques-Henri, Monniaux, David

Journal:

Journal of Automated Reasoning

Year:

2014

Language:

english

File:

PDF, 3.36 MB

english, 2014

10

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Varieties of Static Analyzers: A Comparison with ASTREE

COUSOT, Patrick, COUSOT, Radhia, FERET, Jerome, MINE, Antoine, MAUBORGNE, Laurent, MONNIAUX, David, RIVAL, Xavier

Year:

2007

Language:

english

File:

PDF, 603 KB

english, 2007

11

The pitfalls of verifying floating-point computations

Monniaux, David

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 256 KB

english, 2008

12

[ACM Press the 2014 SIGPLAN/SIGBED conference - Edinburgh, United Kingdom (2014.06.12-2014.06.13)] Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '14 - How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics

Henry, Julien, Asavoae, Mihail, Monniaux, David, Maïza, Claire

Year:

2014

Language:

english

File:

PDF, 689 KB

english, 2014

13

[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - Verification of device drivers and intelligent controllers

Monniaux, David

Year:

2007

Language:

english

File:

PDF, 311 KB

english, 2007

14

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Automatic modular abstractions for linear constraints

Monniaux, David P.

Year:

2008

Language:

english

File:

PDF, 375 KB

english, 2008

15

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Polyhedra to the rescue of array interpolants

Alberti, Francesco, Monniaux, David

Year:

2015

Language:

english

File:

PDF, 847 KB

english, 2015

16

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Synthesis of ranking functions using extremal counterexamples

Gonnord, Laure, Monniaux, David, Radanne, Gabriel

Year:

2015

Language:

english

File:

PDF, 454 KB

english, 2015

17

[ACM Press the 28th ACM SIGPLAN-SIGACT symposium - London, United Kingdom (2001..-..)] Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 - An abstract Monte-Carlo method for the analysis of probabilistic programs

Monniaux, David

Year:

2001

Language:

english

File:

PDF, 343 KB

english, 2001

18

Integrins in the Ovary

Monniaux, Danielle, Huet-Calderwood, Clotilde, Bellego, Frédérique, Fabre, Stéphane, Monget, Philippe, Calderwood, David

Journal:

Seminars in Reproductive Medicine

Year:

2006

Language:

english

File:

PDF, 252 KB

english, 2006

19

Prediction of Regulatory Interactions from Genome Sequences Using a Biophysical Model for the Arabidopsis LEAFY Transcription Factor

Edwige Moyroud, Eugenio Gómez Minguet, Felix Ott, Levi Yant, David Posé, Marie Monniaux, Sandrine Blanchet, Olivier Bastien, Emmanuel Thévenon, Detlef Weigel, Markus Schmid and François Parcy

Journal:

Year:

2011

Language:

english

File:

PDF, 2.31 MB

english, 2011

20

[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - A static analyzer for large safety-critical software

Blanchet, Bruno, Cousot, Patrick, Cousot, Radhia, Feret, Jérome, Mauborgne, Laurent, Miné, Antoine, Monniaux, David, Rival, Xavier

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

21

Automatic modular abstractions for linear constraints

Monniaux, David P.

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 375 KB

english, 2009

22

An abstract Monte-Carlo method for the analysis of probabilistic programs

Monniaux, David

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 343 KB

english, 2001

23

A static analyzer for large safety-critical software

Blanchet, Bruno, Cousot, Patrick, Cousot, Radhia, Feret, Jérome, Mauborgne, Laurent, Miné, Antoine, Monniaux, David, Rival, Xavier

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

24

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 ||

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 20.87 MB

english, 2017

25

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 || Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 1.18 MB

english, 2017

26

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 || Independence Abstractions and Models of Concurrency

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 433 KB

english, 2017

27

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 || Effective Bug Finding in C Programs with Shape and Effect Abstractions

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 901 KB

english, 2017

28

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 || Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 378 KB

english, 2017

29

[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - The Verified Polyhedron Library: an Overview

Boulme, Sylvain, Marechaly, Alexandre, Monniaux, David, Perin, Michael, Yu, Hang

Year:

2018

Language:

english

File:

PDF, 694 KB

english, 2018